The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Kim G. Larsen Books

Results for Kim G. Larsen

Showing 1 to 4 of 4 results
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science) Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science) by Kim G. Larsen,Peter Niebert

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science)

by Kim G. Larsen,Peter Niebert


ISBN 13: 9783540216711

Format: Paperback (292 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $78.09  
New : $78.09
Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings: 575 (Lecture Notes in Computer Science) Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings: 575 (Lecture Notes in Computer Science) by Kim G. Larsen,Arne Skou

Computer Aided Verification: 3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings: 575 (Lecture Notes in Computer Science)

by Kim G. Larsen,Arne Skou


ISBN 13: 9783540551799

Format: Illustrated (504 pages)
Publisher: Springer
Published: 22 Apr 1992

Save for later

 
New : $100.13  
New : $100.13
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science) by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma


ISBN 13: 9783540606307

Format: Paperback (308 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $78.09  
New : $78.09
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday: 11200 (Lecture Notes in Computer Science) Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday: 11200 (Lecture Notes in Computer Science) by Tiziana Margaria, Susanne Graf, Kim G. Larsen

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday: 11200 (Lecture Notes in Computer Science)

by Tiziana Margaria, Susanne Graf, Kim G. Larsen


ISBN 13: 9783030223472

Format: Paperback (448 pages)
Publisher: Springer
Published: 26 Jun 2019

Save for later

 
New : $80.58  
New : $80.58